List of bibliographic references
Number of relevant bibliographic references: 251.
[0-20] [
0 - 20][
0 - 50][
20-40]
| Ident. | Authors (with country if any) | Title |
|---|
| 000036 (2000) |
Marc Stewart [Royaume-Uni] | Marzys, Zygmunt, La variation et la norme. Geneva: Librairie Droz SA, 1998, 293 pp. |
| 000074 (2005) |
Franz Baader [Allemagne] ; Andrei Voronkov [Royaume-Uni] | Ordered Resolution with Selection for $\mathcal{H}(@)$ |
| 000093 (2013) |
Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France] | Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years |
| 000122 (2007) |
Rick Nouwen [Royaume-Uni] | On Dependency and Quantification in Dynamic Semantics |
| 000132 (1994) |
Pieter H. Hartel [Pays-Bas] ; Hugh Glaser [Royaume-Uni] ; John M. Wild [Royaume-Uni] | Compilation of functional languages using flow graph analysis |
| 000206 (1987) |
D. E. Rydeheard [Royaume-Uni] ; J. G. Stell [Royaume-Uni] | Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms |
| 000218 (1989) |
Tobias Nipkow [Royaume-Uni] | Term rewriting and beyond — theorem proving in Isabelle |
| 000225 (2013) |
Dominique Méry [France] ; Neeraj Kumar Singh [Royaume-Uni] | Closed-Loop Modeling of Cardiac Pacemaker and Heart |
| 000246 (1987) |
Paul Anderson [Royaume-Uni] ; Chris Hankin [Royaume-Uni] ; Paul Kelly [Royaume-Uni] ; Peter Osmon [Royaume-Uni] ; Malcolm Shute [Royaume-Uni] | Cobweb-2: Structured specification of a wafer-scale supercomputer |
| 000253 (2013) |
Tom Gundersen [France, Norvège] ; Willem Heijltjes [Royaume-Uni] ; Michel Parigot [France] | A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus |
| 000259 (2002) |
Yingxu Wang [Canada] ; Antony Bryant [Royaume-Uni] | Process-Based Software Engineering: Building the Infrastructures |
| 000289 (2000) |
Stephen F. Noreiko [Royaume-Uni] | Mollard-Desfour, Annie, Le dictionnaire des mots et expressions de couleur du XXe siècle: Le Bleu. Paris: CNRS Éditions, 1998, 260 pp. 2 271 05563 6 |
| 000320 (1990) |
Jeremy Dick [Royaume-Uni] ; John Kalmus [Royaume-Uni] ; Ursula Martin [Royaume-Uni] | Automating the Knuth Bendix ordering |
| 000388 (1996) |
P. Kawalek [Royaume-Uni] ; D. G. Wastell [Royaume-Uni] | Organisational design for software development: A cybernetic perspective |
| 000393 (1980) |
P. Depraétere [France] ; A. T. Florence [France, Royaume-Uni] ; F. Puisieux [France] ; M. Seiller [France] | Some properties of oil-in-water emulsions stabilized with mixed non-ionic surfactants (Brij 92 and Brij 96) |
| 000405 (2011) |
Moussa Ouedraogo [Luxembourg (pays), Royaume-Uni] ; Reijo M. Savola [Finlande] ; Haralambos Mouratidis [Royaume-Uni] ; David Preston [Royaume-Uni] ; Djamel Khadraoui [Luxembourg (pays)] ; Eric Dubois [Luxembourg (pays)] | Taxonomy of quality metrics for assessing assurance of security correctness |
| 000469 (1995) |
D. C. Potts [Royaume-Uni] | REVIEWS |
| 000518 (2008) |
Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-avoiding substitution as a nominal algebra |
| 000531 (2003) |
Penny Sewell [Royaume-Uni] | McBride, Nicole and Seago, Karen (eds.), Target culture – target language? London: AFLS/CILT, 2000, 276 pp. 1 902031 82 2 |
| 000545 (2003) |
Be Ne Dicte Stengel ; Solenne Billon ; Paul C. W. Van Dijk [Pays-Bas] ; Kitty J. Jager [Pays-Bas] ; Friedo W. Dekker [Pays-Bas] ; Keith Simpson [Royaume-Uni] ; J. Douglas Briggs [Pays-Bas] | Trends in the incidence of renal replacement therapy for end-stage renal disease in Europe, 1990–1999 |
| 000565 (2006) |
Murdoch J. Gabbay [Royaume-Uni] ; Aad Mathijssen [Pays-Bas] | Capture-Avoiding Substitution as a Nominal Algebra |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i -k "Royaume-Uni"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i \
-Sk "Royaume-Uni" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Curation
|type= indexItem
|index= AffPays.i
|clé= Royaume-Uni
}}
| This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 |  |
